Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi
https://dyplom.ki.agh.edu.pl/tematy/podglad/1483

Używa:
* Agda 2.6.0
* https://github.com/agda/agda-stdlib v1.0
